Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
🔧functional programming languages
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·1d·
Discuss: Hacker News
🦀Rust
Rust unit testing: asynchronous code
jorgeortiz.dev·7h·
Discuss: r/rust
🦀Rust
Effects as Capabilities in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔧functional programming languages
A practical guide to error handling in Go
datadoghq.com·4d
🦀Rust
Death to Type Classes
jappie.me·2h·
Discuss: Hacker News
📐Type Theory
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·1d·
Discuss: Hacker News, r/rust
🦀Rust
Automated Semantic Anomaly Detection in Hybrid Quantum-Classical Codebases via Formal Verification & Statistical Profiling
dev.to·8h·
Discuss: DEV
🦀Rust
LLM-Generated Rules Engines for LLM Explainability
brain.co·2h·
Discuss: Hacker News
📐Type Theory
How I handle Rust Errors in Big Workspaces
medium.com·3d·
Discuss: r/rust
🦀Rust
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
🔧functional programming languages
How do you deal with "Expression produces a union type that is too complex to represent."?
reddit.com·19h·
Discuss: r/typescript
🔧functional programming languages
Observe live SQL queries in Go with DTrace
gaultier.github.io·1d·
Discuss: r/golang
💻programming
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·22h
🔧functional programming languages
What's new in Kotlin 2.2.20
kotlinlang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧functional programming languages
A Positive Lambda: '+[]{}'
stackoverflow.com·9h·
Discuss: Lobsters, Hacker News
🔧functional programming languages
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·2d·
Discuss: Hacker News, r/cpp
🦀Rust
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🔧functional programming languages
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·1d
🐪ocaml
Stop Abstracting and Start Programming
dev.to·22h·
Discuss: DEV
🦀Rust